Facets of congruence distributivity in Goursat categories
نویسندگان
چکیده
منابع مشابه
Congruence Distributivity Implies Bounded Width
We show that a constraint language with compatible Jónnson terms (i.e. associated with an algebra generating a congruence distributive variety) defines a Constraint Satisfaction Problem solvable by the local consistency checking algorithm.
متن کاملDistributivity of categories of coalgebras
We prove that for any Set-endofunctor F the category SetF of F -coalgebras is distributive if F preserves preimages, i.e. pullbacks along an injective map, and that the converse is also true whenever SetF has finite products.
متن کاملA New Characterisation of Goursat Categories
We present a new characterisation of Goursat categories in terms of special kind of pushouts, that we call Goursat pushouts. This allows one to prove that, for a regular category, the Goursat property is actually equivalent to the validity of the denormalised 3-by-3 Lemma. Goursat pushouts are also useful to clarify, from a categorical perspective, the existence of the quaternary operations cha...
متن کاملOn closure operators, reflections and protolocalisations in Goursat categories
By defining a closure operator on effective equivalence relations in a regular category C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the closure operators on kernels in homological categories [5]. When C is an exact Goursat category [6], this correspondence restricts to a bijection bet...
متن کاملLeft-Garside categories, self-distributivity, and braids
In connection with the emerging theory of Garside categories, we develop the notions of a left-Garside category and of a locally left-Garside monoid. In this framework, the connection between the self-distributivity law LD and braids amounts to the result that a certain category associated with LD is a left-Garside category, which projects onto the standard Garside category of braids. This appr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2020
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2020.106380